/*
 * ArchPlatform.h
 *
 *  Created on: Jan 13, 2010
 *      Author: artur
 */

#ifndef ARCHPLATFORM_H_
#define ARCHPLATFORM_H_

/*
 *
 */
#include <Object.h>

#include <kiddie/kiddie.h>
#include <sys/types.h>
#include <arch/mach/platform.h>

namespace kernel {

class ArchPlatform: public Object {
public:
	ArchPlatform();
	~ArchPlatform();

	void *_get_data_abort_addr(struct cpu_regs *regs);
	bool _is_mmu_on(void);
	void _switch_mmu(void *);

protected:
	void _archinit(void);
};

}

#endif /* ARCHPLATFORM_H_ */
